sains formal bahasa Inggris

• formal science
• formal sciences

• sains:    science; scientific discipline; scientific
• formal:    ceremonious; formalistic; rasmi; formal; formalist
• bahasa formal:    formal language

Contoh

1. Operations research (or operational research) is an interdisciplinary branch of applied mathematics and formal science that uses methods such as mathematical modeling, statistics, and algorithms to arrive at optimal or near optimal solutions to complex problems.
   Riset operasi, atau disebut riset operasional di Eropa, adalah cabang interdisiplin dari matematika terapan dan sains formal yang menggunakan model-model—seperti model matematika, statistika, dan algoritme—untuk mendapatkan nilai optimal atau nyaris optimal pada sebuah masalah yang kompleks.